Re ning Logical Characterizations of AdviceComplexity Classes 1

Reening Logical Characterizations of Advice Complexity Classes 1

Numerical relations in logics are known to characterize, via the nite models of their sentences, polynomial advice nonuniform complexity classes. These are known to coincide with reduction classes of tally sets. Our contributions here are: 1/ a reenement of that characterization that individualizes the reduction class of each tally set, and 2/ characterizing logarithmic advice classes via numer...

Logical Characterizations of Complexity Classes

A logical approach to locality in pictures languages

This paper deals with descriptive complexity of picture languages of any dimension by syntactical fragments of existential second-order logic. Two classical classes of picture languages are studied: The class of recognizable picture languages, i.e. projections of languages defined by local constraints (or tilings): it is known as the most robust class extending the class of regular languages to...

Resource analysis and implicit computational complexity

Implicit computational complexity (ICC) studies machine-independent approaches to computational complexity, with emphasis on approaches based on mathematical logic. Most work consists in characterizations of complexity classes by logical systems (via the Curry-Howard correspondence). Unfortunately, all these formal systems have been studied with different, often unrelated methodologies, and few...

Semi-Stable and Stage Extensions as 2-valued Models

This paper introduces the characterizations of both semi-stable and stage extensions in terms of 2-valued logical models. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is a coined concept in argumentation semantics.